-
1 theorem
теорема
– altitude theorem
– Arzela-Ascoli theorem
– azygetic theorem
– binomial theorem
– compensation theorem
– conclusion of theorem
– conductor-ramification theorem
– converse of theorem
– deduction theorem
– distortion theorem
– duality theorem
– embedding theorem
– existence theorem
– expansion theorem
– gap theorem
– Karhunen-Loeve theorem
– localization theorem
– mean-value theorem
– minimax theorem
– Nagy-Faias theorem
– Nikodym theorem
– Plancherel theorem
– preparation theorem
– remainder theorem
– reverse-flow theorem
– sampling theorem
– sewing theorem
– shift theorem
– similarity theorem
– theorem os sines
– Theveni's theorem
– transference theorem
– uniqueness theorem
– Van Cittert-Zernike theorem
– Wiener-Paley theorem
central limit theorem — теорема о центральном пределе, теорема предельная центральная, центральная предельная теорема
Fermat's last theorem — Ферма великая теорема, последняя теорема Ферма
Nyquist-Kotelnikov-Shannon sampling theorem — <math.> теорема отсчетов Шеннона-Котельникова
theorem of corresponding states — теорема соответственных состояний
-
2 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
3 construct
1) сооружать
2) восставить
3) строить
4) конструировать
5) сконструировать
6) составлять
– construct graph
– construct model
– construct perpendicular
– construct triangle
-
4 construct the proof of a theorem
Макаров: доказывать теоремуУниверсальный англо-русский словарь > construct the proof of a theorem
См. также в других словарях:
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Fundamental theorem of arithmetic — In number theory, the fundamental theorem of arithmetic (or unique prime factorization theorem) states that every natural number greater than 1 can be written as a unique product of prime numbers. For instance, : 6936 = 2^3 imes 3 imes 17^2 , ,! … Wikipedia
Menelaus' theorem — Menelaus theorem, case 1: line DEF passes inside triangle ABC Menelaus theorem, named for Menelaus of Alexandria, is a theorem about triangles in plane geometry. Given a triangle ABC, and a transversal line that crosses BC, AC and AB at points D … Wikipedia
Pythagorean theorem — See also: Pythagorean trigonometric identity The Pythagorean theorem: The sum of the areas of the two squares on the legs (a and b) equals the area of the square on the hypotenuse (c) … Wikipedia
Thales' theorem — In geometry, Thales theorem (named after Thales of Miletus) states that if A, B and C are points on a circle where the line AC is a diameter of the circle, then the angle ABC is a right angle. Thales theorem is a special case of the inscribed… … Wikipedia
McNaughton's Theorem — In automata theory, McNaughton s theorem refers to a theorem that asserts that the set of ω regular languages is identical to the set of languages recognizable by deterministic Muller automata. [1] This theorem is proven by supplying an algorithm … Wikipedia
Riemann mapping theorem — In complex analysis, the Riemann mapping theorem states that if U is a simply connected open subset of the complex number plane Bbb C which is not all of Bbb C, then there exists a biholomorphic (bijective and holomorphic) mapping f, from U, onto … Wikipedia
Time hierarchy theorem — In computational complexity theory, the time hierarchy theorems are important statements about time bounded computation on Turing machines. Informally, these theorems say that given more time, a Turing machine can solve more problems. For example … Wikipedia